Applying Axiom to Partial Diierential Equations
نویسنده
چکیده
We present an AXIOM environment called JET for geometric computations with partial diierential equations within the framework of the jet bundle formalism. This comprises especially the completion of a given diierential equation to an involutive one according to the Cartan-Kuranishi Theorem and the setting up of the determining system for the generators of classical and non-classical Lie symmetries. Details of the implementation are described and examples of applications are given. An appendix contains tables of all exported functions.
منابع مشابه
Waveform Relaxation for Functional-diierential Equations Waveform Relaxation for Functional-diierential Equations Waveform Relaxation for Functional-differential Equations
The convergence of waveform relaxation techniques for solving functional-diierential equations is studied. New error estimates are derived that hold under linear and nonlinear conditions for the right-hand side of the equation. Sharp error bounds are obtained under generalized time-dependent Lipschitz conditions. The convergence of the waveform method and the quality of the a priori error bound...
متن کاملApplying AXIOM to Partial Di erential Equations
We present an AXIOM environment called JET for geometric computations with partial dierential equations within the framework of the jet bundle formalism. This comprises especially the completion of a given dierential equation to an involutive one according to the Cartan-Kuranishi Theorem and the setting up of the determining system for the generators of classical and non-classical Lie symmetrie...
متن کاملWaveform Relaxation for Functional-Differential Equations
The convergence of waveform relaxation techniques for solving functional-diierential equations is studied. New error estimates are derived that hold under linear and nonlinear conditions for the right-hand side of the equation. Sharp error bounds are obtained under generalized time-dependent Lipschitz conditions. The convergence of the waveform method and the quality of the a priori error bound...
متن کاملDirect Reduction and Diierential Constraints
Direct reductions of partial diierential equations to systems of ordinary diierential equations are in one-to-one correspondence with compatible diierential constraints. The diierential constraint method is applied to prove that a parabolic evolution equation admits innnitely many characteristic second order reductions, but admits a non-characteristic second order reduction if and only if it is...
متن کاملSmooth, Homogeneous and Isotropic Solutions of Quasilinear Stochastic Partial Diierential Equations of Mckean-vlasov Type
Smooth, homogeneous and isotropic random elds are derived from the distribution of a system of diiusing particles with mean eld interaction. The main tools are stochastic ordinary diierential equations (SODE's) for the positions of the particles and stochastic partial diierential equations (SPDE's) for the mass distribution of the particles. The methods and results used in this paper generalize...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995